Peephole optimization

Results: 23



#Item
1

Quick Compilers Using Peephole Optimization JACK W. DAVIDSON AND DAVID B. WHALLEY Department of Computer Science, University of Virginia, Charlottesville, VA 22903, U.S.A. SUMMARY Abstract machine modeling is a popular t

Add to Reading List

Source URL: www.cs.fsu.edu

- Date: 2016-05-22 06:55:58
    2Computing / Software engineering / Software / Compiler optimizations / Programming language implementation / Compiler construction / Formal methods / Logic in computer science / CompCert / Low-level programming language / Peephole optimization / Formal verification

    Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

    Add to Reading List

    Source URL: peek.uwplse.org

    Language: English - Date: 2016-08-08 16:17:02
    3Computing / Software / Computer architecture / Central processing unit / Programming language implementation / Assembly languages / Java virtual machine / Java bytecode / Peephole optimization / Dalvik / Bytecode / Instruction set

    COMP 520 FallVirtual machines (1) COMP 520 Fall 2007

    Add to Reading List

    Source URL: www.sable.mcgill.ca

    Language: English - Date: 2007-10-19 00:48:32
    4Software / Compiler optimizations / Computer programming / Peephole optimization / Superoptimization / Constant folding / Compiler / Program optimization / Satisfiability modulo theories / Expression / Static single assignment form / GNU Compiler Collection

    Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules,

    Add to Reading List

    Source URL: pp.info.uni-karlsruhe.de

    Language: English - Date: 2015-01-20 17:49:37
    5

    Internal documentation on the peephole optimizer from the Amsterdam Compiler Kit 1. Introduction Part of the Amsterdam Compiler Kit is a program to do peephole optimization on an EM program. The optimizer scans the progr

    Add to Reading List

    Source URL: tack.sourceforge.net

    Language: English - Date: 2015-06-18 18:12:26
      6

      1. statement-by-statement code generation 2. peephole optimization 3. “global” optimization 0-0

      Add to Reading List

      Source URL: www.isical.ac.in

      Language: English - Date: 2005-08-03 03:10:15
        7Compiler optimizations / Software / Programming language implementation / Peephole optimization / Code generation / Superoptimization / Compiler / Program optimization / Stack machine / Software engineering / Compiler construction / Computing

        Microsoft Word - REV-ARTdoc

        Add to Reading List

        Source URL: www.currentscience.ac.in

        Language: English - Date: 2015-05-18 06:52:38
        8Compiler optimizations / Compilers / Bytecode / OCaml / Just-in-time compilation / Compiler / ParisTech / GNU Compiler Collection / Peephole optimization / Software / Computing / Compiler construction

        OCamlCC OUDBenoˆıt Vaugon Introduction

        Add to Reading List

        Source URL: oud.ocaml.org

        Language: English - Date: 2012-09-18 14:53:46
        9Compiler optimizations / Assembly languages / Peephole optimization / Inline expansion / Java bytecode / Forth / Static single assignment form / Jimple / Software engineering / Computing / Programming language theory

        ClosureElimination and DeadCodeElimination c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 4th , 2011

        Add to Reading List

        Source URL: lampwww.epfl.ch

        Language: English - Date: 2011-12-04 10:16:16
        10Java programming language / Cross-platform software / Compiler construction / Programming language implementation / Java virtual machine / Interpreter / Just-in-time compilation / Peephole optimization / Java compiler / Computing / Software / System software

        OpenJIT Backend Compiler OpenJIT Backend Compiler Kouya SHIMURA June 29, 1998

        Add to Reading List

        Source URL: www.openjit.org

        Language: English
        UPDATE